Ansótegui, Carlos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Generating highly balanced sudoku problems as hard problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carla Gomes, Carles Mateu

Journal:

Journal of Heuristics

Year:

2011

Language:

english

File:

PDF, 970 KB

english, 2011

2

Structure features for SAT instances classification

Ansótegui, Carlos, Bonet, Maria Luisa, Giráldez-Cru, Jesús, Levy, Jordi

Journal:

Journal of Applied Logic

Year:

2016

Language:

english

File:

PDF, 948 KB

english, 2016

3

Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

Carlos Ansótegui,Miquel Bofill,Miquel Palahí,Josep Suy,Mateu Villaret

Journal:

Year:

2013

Language:

english

File:

PDF, 1.10 MB

english, 2013

4

SAT-based MaxSAT algorithms

Ansótegui, Carlos, Bonet, Maria Luisa, Levy, Jordi

Journal:

Artificial Intelligence

Year:

2013

Language:

english

File:

PDF, 424 KB

english, 2013

5

La gestión de la información sobre quejas y reclamaciones en Osakidetza-Servicio Vasco de Salud

González-Llinares, Rosa M., Arrúe-Aldanondo, Begoña, José Pérez-Boíllos, M., Sánchez-González, Elena, Carlos Ansótegui-Pérez, Juan, Letona-Aramburu, Jon

Journal:

Revista de Calidad Asistencial

Year:

2003

File:

PDF, 68 KB

2003

6

WPM3: An (in)complete algorithm for weighted partial MaxSAT

Ansótegui, Carlos, Gabàs, Joel

Journal:

Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 524 KB

english, 2017

7

Resolution procedures for multiple-valued optimization

Ansótegui, Carlos, Bonet, María Luisa, Levy, Jordi, Manyà, Felip

Journal:

Information Sciences

Year:

2013

Language:

english

File:

PDF, 1.47 MB

english, 2013

8

Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

Ansótegui, Carlos, Bofill, Miquel, Manyà, Felip, Villaret, Mateu

Journal:

Fuzzy Sets and Systems

Year:

2015

Language:

english

File:

PDF, 876 KB

english, 2015

9

Exploiting subproblem optimization in SAT-based MaxSAT algorithms

Ansótegui, Carlos, Gabàs, Joel, Levy, Jordi

Journal:

Journal of Heuristics

Year:

2015

Language:

english

File:

PDF, 883 KB

english, 2015

10

Meteorological conditions, climate change, new emerging factors, and asthma and related allergic disorders. A statement of the World Allergy Organization

D’Amato, Gennaro, Holgate, Stephen T., Pawankar, Ruby, Ledford, Dennis K., Cecchi, Lorenzo, Al-Ahmad, Mona, Al-Enezi, Fatma, Al-Muhsen, Saleh, Ansotegui, Ignacio, Baena-Cagnani, Carlos E., Baker, Davi

Journal:

World Allergy Organization Journal

Year:

2015

Language:

english

File:

PDF, 3.36 MB

english, 2015

11

Exploiting multivalued knowledge in variable selection heuristics for SAT solvers

Carlos Ansótegui, Jose Larrubia, Chu–Min Li, Felip Manyà

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 314 KB

english, 2007

12

Linfangioleiomiomatosis esporádica e hipertensión pulmonar. Estudio clínico-patológico en pacientes receptoras de un trasplante pulmonar

Emilio Ansótegui Barrera, Nuria Mancheño Franch, Juan Carlos Peñalver Cuesta, Francisco Vera-Sempere, José Padilla Alarcón

Journal:

Medicina Clínica

Year:

2012

File:

PDF, 454 KB

2012

13

Functional Outcomes After Lung Transplant in Chronic Obstructive Pulmonary Disease

Cerón Navarro, José, de Aguiar Quevedo, Karol, Ansótegui Barrera, Emilio, Jordá Aragón, Carlos, Peñalver Cuesta, Juan Carlos, Mancheño Franch, Nuria, Vera Sempere, Francisco José, Padilla Alarcón, Jos

Journal:

Archivos de Bronconeumología (English Edition)

Year:

2015

File:

PDF, 823 KB

2015

14

Establishing the place in therapy of bilastine in the treatment of allergic rhinitis according to ARIA: evidence review

Bousquet, Jean, Ansótegui, Ignacio, Walter Canonica, G., Zuberbier, Torsten, Baena-Cagnani, Carlos E., Bachert, Claus, Cruz, Alvaro A., González, Sandra N., Kuna, Piotr, Morais-Almeida, Mario, Mullol,

Journal:

Current Medical Research and Opinion

Year:

2012

Language:

english

File:

PDF, 189 KB

english, 2012

15

Resultados funcionales del trasplante pulmonar en la enfermedad pulmonar obstructiva crónica

Cerón Navarro, José, de Aguiar Quevedo, Karol, Ansótegui Barrera, Emilio, Jordá Aragón, Carlos, Peñalver Cuesta, Juan Carlos, Mancheño Franch, Nuria, Vera Sempere, Francisco José, Padilla Alarcón, Jos

Journal:

Archivos de Bronconeumología

Year:

2015

File:

PDF, 880 KB

2015

16

Immunopathological features of air pollution and its impact on inflammatory airway diseases (IAD)

Rouadi, Philip W., Idriss, Samar A., Naclerio, Robert M., Peden, David B., Ansotegui, Ignacio J., Canonica, Giorgio Walter, Gonzalez-Diaz, Sandra Nora, Rosario Filho, Nelson A., Ivancevich, Juan Carlo

Journal:

World Allergy Organization Journal

Year:

2020

File:

PDF, 891 KB

2020

17

On the hardness of solving edge matching puzzles as SAT or CSP problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu

Journal:

Year:

2013

Language:

english

File:

PDF, 982 KB

english, 2013

18

Trasplante pulmonar en la linfangioleiomiomatosis esporádica. Estudio de 7 casos

Ansótegui Barrera, Emilio, Mancheño Franch, Nuria, Peñalver Cuesta, Juan Carlos, Vera-Sempere, Francisco, Padilla Alarcón, José

Journal:

Medicina Clínica

Year:

2013

File:

PDF, 251 KB

2013

19

[IEEE 2011 IEEE 41st International Symposium on Multiple-Valued Logic (ISMVL) - Tuusula, Finland (2011.05.23-2011.05.25)] 2011 41st IEEE International Symposium on Multiple-Valued Logic - Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic

Ansótegui, Carlos, Bofill, Miquel, Manyà, Felip, Villaret, Mateu

Year:

2011

Language:

english

File:

PDF, 197 KB

english, 2011

20

[IEEE 37th International Symposium on Multiple-Valued Logic - Oslo, Norway (2007.05.13-2007.05.16)] 37th International Symposium on Multiple-Valued Logic (ISMVL'07) - A Complete Resolution Calculus for Signed Max-SAT

Ansotegui, Carlos, Bonet, Maria L., Levy, Jordi, Manya, Felip

Year:

2007

Language:

english

File:

PDF, 136 KB

english, 2007

21

Comparative efficacy of non-sedating antihistamine updosing in patients with chronic urticaria

Sánchez-Borges, Mario, Ansotegui, Ignacio, Jimenez, Jorge, Rojo, Maria, Serrano, Carlos, Yañez, Anahí

Journal:

World Allergy Organization Journal

Year:

2014

Language:

english

File:

PDF, 1022 KB

english, 2014

22

A WAO - ARIA - GA²LEN consensus document on molecular-based allergy diagnostics

Canonica, Giorgio, Ansotegui, Ignacio J, Pawankar, Ruby, Schmid-Grendelmeier, Peter, van Hage, Marianne, Baena-Cagnani, Carlos E, Melioli, Giovanni, Nunes, Carlos, Passalacqua, Giovanni, Rosenwasser,

Journal:

World Allergy Organization Journal

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски